Program analysis - PDFSEARCH.IO - Document Search Engine

Program analysis
Results: 6751

#	Item
821	standard shock-in-jet model, the parameter space for the physical single-dish monitoring data of the F-GAMMA program. conditions in the jet, and our analysis applied to the synthetic Once the temporal evolution of the tu Add to Reading List Source URL: www.oa.uj.edu.pl Language: English - Date: 2015-05-11 04:13:58 Astronomy Plasma physics Space plasmas Light sources Solar flare Blazar Cosmic distance ladder Frequency Star Physics Physical quantities Measurement
822	Program on Dairy Markets and Policy Briefing Paper Series Measures of Dairy Farm Financial Performance Using the Prices of Milk and Feed Inputs: Implications for Market Analysis Briefing Paper NumberMarch 2012 Add to Reading List Source URL: dairymarkets.org Language: English - Date: 2012-06-17 11:14:58 Dairy farming Milk Human geography Milk-feed price ratio Dairy Farm Amul Agriculture in Senegal Livestock Agriculture Cattle
823	THE CESSNA AIRCRAFT COMPANY P.O. BOX 7704 WICHITA, KSREPORT NO: RE-GEN-001 SUPPLIER RELIABILITY PROGRAM GUIDE Add to Reading List Source URL: supplier.cessna.com Language: English - Date: 2007-03-21 13:50:30 Design for X Failure Materials science Reliability engineering Survival analysis Systems engineering Cessna SAE International Highly accelerated life test Design Engineering Technology
824	Index Access to Opportunities Program (ATOP), 18–19, 27 across-domain relationships, notion of, 220, 227 Adams, Henry, 50–51 Add to Reading List Source URL: www.ashgate.com Language: English - Date: 2013-09-30 05:59:42 Computing Association for Literary and Linguistic Computing Text Encoding Initiative Institute for Advanced Technology in the Humanities Literary and Linguistic Computing Alliance of Digital Humanities Organizations Humanist Computer science Content analysis Digital humanities Humanities Electronics
825	Ames Research Center Moffett Field, CaliforniaTechnical Support Package Analysis of Designs of Space Laboratories Add to Reading List Source URL: spacearchitect.org Language: English - Date: 2014-11-19 06:15:46 Manned spacecraft Columbus laboratory Space science Spacelab Kibo Shuttle–Mir Program International Space Station Columbus Marshall Space Flight Center Spaceflight Mir Space stations
826	Program on Dairy Markets and Policy Briefing Paper Series Questions Farmers Should Ask When Reviewing Analyses of Dairy Program Proposals Briefing Paper NumberJanuary 2012 Add to Reading List Source URL: dairymarkets.org Language: English - Date: 2012-03-26 13:08:43 Marxist theory Economic model Supply and demand Policy analysis Reliability engineering Milk Economic growth Computable general equilibrium Real prices and ideal prices Economics Knowledge Terminology
827	Effective Typestate Verification in the Presence of Aliasing STEPHEN J. FINK and ERAN YAHAV IBM T. J. Watson Research Center and NURIT DOR1 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-01-27 15:57:10 Logic in computer science Formal methods Formal verification Pointer analysis Shape analysis Pointer The Verifier Abstract interpretation IP Theoretical computer science Applied mathematics Static program analysis
828	Greenville Hazard Mitigation Plan Update 2015 GREENVILLE, NEW HAMPSHIRE Photo from Town Website Prepared by the: Add to Reading List Source URL: www.greenvillenh.org Language: English - Date: 2015-03-17 15:53:12 Risk Occupational safety and health Risk management Hazard analysis United States Department of Homeland Security Federal Emergency Management Agency National Flood Insurance Program Disaster Hazard Management Public safety Emergency management
829	Performance Optimization of a Parallel, Two Stage Stochastic Linear Program Akhil Langer‡ , Ramprasad Venkataraman‡ , Udatta Palekar∗ , Laxmikant V. Kale‡ ‡ Dept of Computer Science, ∗ College of Business Uni Add to Reading List Source URL: charm.cs.illinois.edu Language: English - Date: 2012-10-13 15:37:06 Applied mathematics Linear programming Mathematical optimization K-means clustering Cluster analysis Stochastic Numerical analysis Statistics Mathematics Operations research
830	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering

UPDATE